Ontology Verification with Repositories

نویسندگان

  • Michael Grüninger
  • Torsten Hahmann
  • Ali Hashemi
  • Darren Ong
چکیده

In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of representation theorems and classification theorems to characterize the models of an ontology, and then show how such results can be obtained from notions such as relative interpretation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Enriching Linked Open Data via Open Information Extraction

The descriptions of various entities on Linked Data repositories are subject to constant renewals and modifications, with respect to both the descriptions of concepts and relations and entities realizing their instantiations. Thus, the underlying ontologies have to be updated accordingly in order to reflect these changes. This paper presents a system for examining the possibilities of discoveri...

متن کامل

Hierarchical Text Categorization as a Tool of Associating Genes with Gene Ontology Codes

A great deal of genomics information accumulated through years is available nowadays in on-line text repositories such as Medline. These resources are essential for biomedical researchers in their everyday activities on planning and performing experiments and verifying the results. However, these resources do not still provide adequate mechanisms for retrieving the requisite information. We pro...

متن کامل

A Network of Ontology Repositories

Ontologies and vocabularies are a key resource for creating interoperable metadata on the Semantic Web. To make the finding and using ontologies easier, the idea of Ontology Repositories have been introduced with current implementations including e.g. the NCBO Bioportal, ONKI and Cupboard. However, at the moment each ontology repository is a separate island with its own user interfaces and APIs...

متن کامل

Combining Distributed Ontology Repositories into a Global Service

Ontologies and vocabularies are a key resource for creating interoperable metadata on the Semantic Web. To make finding and using ontologies easier, the idea of Ontology Repositories has been introduced with current implementations including e.g. the NCBO Bioportal, ONKI and Cupboard. There is a genuine need for different kinds of Ontology Repositories, each focusing on different kinds specific...

متن کامل

Building Ontology Repositories for E-Commerce Systems

This paper describes a new method to integrate and implement e-commerce systems in distributed computing environments, especially the Internet. In this paper, we propose a core part of ontology repositories for e-commerce systems, illustrate the organisational topology of the repositories, and demonstrate how to use XML standards to build the repositories. After all these repositories are distr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010